A Method for the Formal Verification of Human-interactive Systems
نویسندگان
چکیده
منابع مشابه
Formal Verification of Differential Privacy for Interactive Systems
Differential privacy is a promising approach to privacy preserving data analysis with a welldeveloped theory for functions. Despite recent work on implementing systems that aim to provide differential privacy, the problem of formally verifying that these systems have differential privacy has not been adequately addressed. This paper presents the first results towards automated verification of s...
متن کاملZhao Peng: a Formal Verification Method for Hybrid Systems
A hybrid system is a dynamical system with both discrete and continuous state variables, and it has been widely used in many application fields. In this paper we propose a formal verification method for hybrid systems. Particularly, as embedded systems form part of hybrid systems, we use embedded system to test the effectiveness of our proposed algorithm. The design of embedded system is mainly...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملinvestigating the feasibility of a proposed model for geometric design of deployable arch structures
deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...
Formal methods for interactive systems
models will, by their nature, serve to specify only a subset of properties of interest. For any particular property, we may want a different model, or a refinement of the model. We cannot predict all possible such refinements and alternative models, but the succeeding chapters attempt to fill some of the more obvious holes. The PIE model is clearly a single-user single-machine model; it does no...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Human Factors and Ergonomics Society Annual Meeting Proceedings
سال: 2009
ISSN: 1071-1813
DOI: 10.1518/107118109x12524442637309